da{-}outlink{-}f(${\it da}$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$lnk($k$)$,\,$tag($k$)$,\,$fpf{-}ap(${\it da}$; KindDeq; $k$)$\rangle$